Measuring complexities of classes of structures

نویسندگان

  • Barbara F. Csima
  • Carolyn Knoll
چکیده

How do we compare the complexities of various classes of structures? The Turing ordinal of a class of structures, introduced by Jockusch and Soare, is defined in terms of the number of jumps required for coding to be possible. The back-and-forth ordinal, introduced by Montalbán, is defined in terms of Σα-types. The back-and-forth ordinal is (roughly) bounded by the Turing ordinal. In this paper, we show that, if we do not restrict the allowable classes, the reverse inequality need not hold. Indeed, for any computable ordinals α ≤ β we present a class of structures with back-and-forth ordinal α and Turing ordinal β. We also present an example of a class of structures with back-and-forth ordinal 1 but no Turing ordinal.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Security of Sponge structures

Sponge structure is a structure widely used in the design of cryptographic algorithms that reduces the design of the algorithms to the design of a permutation or pseudo-random function. The development of sponge-based algorithms and the selection of designs based on this structure in SHA3 and CAESAR competitions increase the need to examine its security against various types of attacks. In the ...

متن کامل

Classification of Vertex-transitive Structures

When one thinks of objects with a significant level of symmetry it is natural to expect there to be a simple classification. However, this leads to an interesting problem in that research has revealed the existence of highly symmetric objects which are very complex when considered within the framework of Borel complexity. The tension between these two seemingly contradictory notions leads to a ...

متن کامل

Citizenship Classes for Bhutanese-Nepali Elders: From Cognitive Deficits to Cultural-Historical Understandings

This article focuses on home-based citizenship classes for Bhutanese-Nepali elders in Central Ohio in the United States. As part of a larger longitudinal study centered in the ethnographic, language socialization, and discourse analytic traditions, the article focuses on data, particularly regular audiovideo recordings, gathered over a five-month period and tracks one student’s progress towards...

متن کامل

An Integrated Approach for Measuring Performance of Network structure: Case study on power plants

Data envelopment analysis (DEA) and balanced scorecard (BSC) are two well-known approaches for measuring performance of decision making units (DMUs). BSC is especially applied with quality measures, whereas, when the quantity measures are used to evaluate, DEA is more appropriate. In the real-world, DMUs usually have complex structures such as network structures. One of the well-known network s...

متن کامل

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 166  شماره 

صفحات  -

تاریخ انتشار 2015